Shannon Zhu - Leveraging The Type System To Write Secure Applications - Pycon 2019